Équations de type implicite avec contraintes
نویسندگان
چکیده
منابع مشابه
Acquisition de contraintes avec des requêtes partielles
We learn constraint networks by asking the user partial queries. That is, we ask the user to classify assignments to subsets of the variables as positive or negative. We provide an algorithm that, given a negative example, focuses onto a constraint of the target network in a number of queries logarithmic in the size of the example. We give information theoretic lower bounds for learning some si...
متن کاملInférence de non-terminaison pour les programmes logiques avec contraintes
RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...
متن کاملTechniques d’apprentissage non-linéaires en ligne avec contraintes de positivité
Résumé—Cet article décrit une nouvelle classe d’algorithmes d’apprentissage non-linéaires en ligne avec contrainte de positivité sur la solution. Ceux-ci sont appliqués au problème d’identification distribuée d’un champ scalaire positif, par exemple de rayonnement thermique ou de concentration d’une espèce chimique, par un réseau de capteurs. La question du suivi de l’évolution de la grandeur p...
متن کاملDes règles aux contraintes avec le langage de modélisation Rules2CP
Dans cet article, nous montrons que le paradigme de représentation des connaissances règles métier, largement utilisé dans l’industrie, peut être développé comme un langage de modélisation pour la programmation par contraintes. Nous présentons un langage de modélisation général à base de règles, nommé Rules2CP, et décrivons sa compilation vers des programmes de contraintes sur les domaines fini...
متن کاملSynthèse intégrée du diagnostic de systèmes contrôlés en réseaux avec contraintes de communication
Networked Control systems (NCSs) have been one of research focuses in academia and industrial applications during the last few years. The advantages of NCSs over conventional or hardwired control include reduction of system wiring and increase in maintenance and troubleshooting facilities. Because of these attractive benefits, many industrial companies and institutes have shown interest in appl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Comptes Rendus de l'Académie des Sciences - Series I - Mathematics
سال: 2000
ISSN: 0764-4442
DOI: 10.1016/s0764-4442(00)00147-6